(set-strategy depth)

(load "templates_rules.clp")
(load "templates_rules_p2.clp")
(load "predef_facts.clp")

(reset)
(run)